extension | φ:Q→Out N | d | ρ | Label | ID |
C9:S3:1C32 = C34.S3 | φ: C32/C1 → C32 ⊆ Out C9:S3 | 27 | | C9:S3:1C3^2 | 486,105 |
C9:S3:2C32 = C9:S3:C32 | φ: C32/C1 → C32 ⊆ Out C9:S3 | 27 | 18+ | C9:S3:2C3^2 | 486,129 |
C9:S3:3C32 = He3.(C3xS3) | φ: C32/C1 → C32 ⊆ Out C9:S3 | 27 | 18+ | C9:S3:3C3^2 | 486,131 |
C9:S3:4C32 = 3- 1+4:C2 | φ: C32/C1 → C32 ⊆ Out C9:S3 | 27 | 18+ | C9:S3:4C3^2 | 486,238 |
C9:S3:5C32 = C3xC32:D9 | φ: C32/C3 → C3 ⊆ Out C9:S3 | 54 | | C9:S3:5C3^2 | 486,94 |
C9:S3:6C32 = C3xHe3.S3 | φ: C32/C3 → C3 ⊆ Out C9:S3 | 54 | 6 | C9:S3:6C3^2 | 486,119 |
C9:S3:7C32 = C3xHe3.2S3 | φ: C32/C3 → C3 ⊆ Out C9:S3 | 54 | 6 | C9:S3:7C3^2 | 486,122 |
C9:S3:8C32 = C3xC33.S3 | φ: C32/C3 → C3 ⊆ Out C9:S3 | 54 | | C9:S3:8C3^2 | 486,232 |
C9:S3:9C32 = C3xHe3.4S3 | φ: C32/C3 → C3 ⊆ Out C9:S3 | 54 | 6 | C9:S3:9C3^2 | 486,234 |